The State of the OCaml Platform: September 2016 Louis Gesbert∗(speaker) on behalf of the OCaml Platform team The OCaml Platform combines the OCaml compiler toolchain with a coherent set of tools for build, documentatio

Source URL: www.ocamlpro.com

• Software
• Computer programming
• Functional languages
• OCaml
• Package manager
• Arch Linux
• Deb
• Go
• Caml
• R
• Coq

Program Lead/Emcee One Sentence Description: This person works closely with the camp director to lead camp programming by providing leadership to the program team and by emceeing camp activities. Full Description: The Pr

Source URL: www.campelkanah.com

• Summer camp
• Camp
• Culture

Programming Committee Review Request Form Overview The Board of Director’s Programming Committee (PC) is a conduit to program volunteers in all positions (i.e., coaches, Management Team members, Games Organizing Commi

Source URL: www.specialolympicspa.org

LATEX and the Gnuplot Plotting Program David Kotz Principal author of this tutorial for gnuplot 3.0, July 3, 1991 current gnuplot team

Source URL: gnuplot.sourceforge.net

• Computer animation
• Gnuplot
• Macro programming languages
• TeX
• LaTeX
• PGF/TikZ
• ConTeXt
• Sine
• Device independent file format
• PSTricks

Using SimGrid 101 Getting Started to Use SimGrid Da SimGrid Team June 3, 2014

Source URL: simgrid.gforge.inria.fr

• Cross-platform software
• Object-oriented programming languages
• Scripting languages
• Lua
• Pontifical Catholic University of Rio de Janeiro
• D
• Java
• Git
• Ruby
• SimGrid

Hometown Teams Young Adult (YA) Reading List This resource list was assembled to help you research and develop exhibitions and programming around the themes of the HOMETOWN TEAMS exhibition. Work with your local library

Source URL: museumonmainstreet.org

• Mike Lupica
• Staying Fat for Sarah Byrnes
• W. P. Kinsella
• Athletic Shorts: Six Short Stories
• Penguin Books
• Playing for Pizza
• Travel Team
• Shoeless Joe
• Jason McElwain
• Heat

Lazy Evaluation for OCL Massimo Tisi1 , R´emi Douence2 , Dennis Wagelaar3 1 AtlanMod team (Inria, Mines Nantes, LINA), Nantes, France

Source URL: ceur-ws.org

• Functional programming
• Recursion
• Functional analysis
• Object Constraint Language
• Unified Modeling Language
• Monad
• ECO
• Lazy evaluation
• Tree traversal
• Dual space
• FO

A Catalog of Patterns for Concept Lattice Interpretation in Software Reengineering Muhammad U.Bhatti∗ , Nicolas Anquetil∗ , Marianne Huchard† , and St´ephane Ducasse∗ ∗ RMoD Project-Team INRIA - Lille Nord Eu

Source URL: rmod.inria.fr

• Lattice theory
• Lie groups
• Data mining
• Formal concept analysis
• Machine learning
• Ontology
• Complete lattice
• Lattice
• Object-oriented programming
• Algebraic structure
• Software design pattern
• Object Process Methodology

Reflections on Courses for Software Language Engineering Anya Helene Bagge1 , Ralf Lämmel2 , and Vadim Zaytsev3 Bergen Language Design Laboratory, University of Bergen, Norway Software Languages Team, University of Kobl

Source URL: models2014.webs.upv.es

• Compiler construction
• Formal languages
• Parsing
• Programming language implementation
• Parser generators
• Syntax
• Compiler
• LR parser
• Scannerless parsing
• XPL
• PLY
• Model-driven engineering

Inverse Reinforcement Learning through Structured Classification Edouard Klein1,2 LORIA – team ABC Nancy, France

Source URL: www.ilhaire.eu

• Statistical classification
• Dynamic programming
• Stochastic control
• Computational neuroscience
• Reinforcement learning
• Loss function
• Markov decision process
• Artificial neural network
• Support vector machine
• Expected value
• Valuation
• Stochastic programming